statecharts相关论文
后续软件的正确开发取决于UML软件体系模型是不是反映了用户的需求。UML Statecharts可以把一个系统的行为正确地完整地描述出来,......
UML中的状态图和通信图可共同作为生成测试用例的模型，用于集成测试用例的生成．在通信转换的基础上采用深度和广度搜索得到没有冗余......
本文在用层次自动机结构化表示UML Statecharts的基础上,定义了UML协同图中并发对象的同步合成,然后根据结构间的模拟关系,研究了......
针对装备虚拟操作训练系统中对过程建模的研究仅停留在针对具体仿真任务的应用技术层面，缺乏深人的建模理论研究的现象；首先分析了虚......
尽管Statecharts在反应式实时系统建模领域获得了广泛应用,基于Statecharts开发的实时软件的测试仍然十分困难.由于引入了时间维,......
统一建模语言UML已被广泛应用于软件设计和开发中，而验证UML模型是否满足关键的性质需求成为一个重要问题。由于空间爆炸和语义的复......
直接从含有层次和并发结构的UML statecharts图产生面向对象软件类的测试用例是比较困难的，文中提出了基于UML statecharts图的测试......
统一建模语言UML已广泛应用于软件开发中,验证UML模型是否满足某些关键性质成为一个重要问题.提出了对UML Statecharts进行模型检......
该文在状态图的基础上，提出了并发状态约束机制，以此解决了在构造状态模型和生成测试用例阶段状态空间的爆炸问题，同时也解决了生成可......
面向对象模型的形式化是形式化研究的重点,UML是一种得到承认的标准建模语言,CHAM是一种广泛用于异步并行计算和系统体系结构建模......
软件工程研究软件开发过程所需的模型、方法和工具。UML是软件工程实践中的重要工具，它可以对软件进行规约、可视化、构造和建档。......
提出了一种基于扩展UML statecharts的协议一致性测试方法。实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;......
模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型......
模型检验是一种重要的形式化自动验证技术。Statecharts是一种用以规约复杂反应式系统行为的可视化语言。为了验证Statecharts模型......
给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局......
给出了Statecharts的抽象语法描述,以及Statecharts各个构成元素的语义,包括状态、迁移、事件和条件、表达式、动作和当前状态格局......
化学抽象机（Chemical Abstract Machine）是由Berry和Boudol在1990年提出的用于异步并行计算建模的模型。它借用化学反应的隐喻，通过化......
测试用例生成是软件测试的关键.根据UML statecharts的层次和并发结构，研究相应的测试用例产生方法.它视复合状态为抽象状态，分别构......
Statecharts是一种用以规约复杂反应式系统行为的可视化语言 。由于该类系统的行为复杂性，定义其精确的语义是困难的。许多人在这方......
用抽象数据类型来描述Statecharts,希望隐藏语义表述上的细节,把一个图形化的语言转换为文本的方式来描述,并为Statecharts语法分......
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上，简述SuperState工具中主要部分的实现思想，即采用静态分析和动......
在介绍基于Statecharts语言的验证工具SuperState的编辑环境的基础上，简述SuperState工具中主要部分的实现思想，即采用静态分析和动......
Statecharts是一种用于复杂反应式系统行为的可视化规格语言。该文提出了一种基于标筘变迁系统（LTS）的Statecharb操作语义捕述方法，介......
直接从含有层次和并发结构的UML statecharts图产生类的测试用例是比较困难的.提出了一种从UML statecharts图产生测试用例的方法:......
汽车电子控制技术的应用为汽车制造技术带来了重大变革,汽车电子控制系统体现了嵌入式系统技术的集中应用。随着以嵌入式软件为载......
学位
近年来，中国航天的型号发射任务中，软件所占的比例越来越大，软件失效会直接导致严重的事故甚至灾难，尤其是载人航天工程更不能允许灾难......
